[IA64] EFI mapping: restoring mapping correctly.
authorIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 25 Aug 2008 10:04:37 +0000 (19:04 +0900)
committerIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 25 Aug 2008 10:04:37 +0000 (19:04 +0900)
commit4148d1b92f57bab1727f1d97886ff90d7718d611
tree8e37bbe555d161afa6ce1e2d677873ceffe78d31
parent83d84118e59cc7bb3ec68274f621a16adf7c4e0e
[IA64] EFI mapping: restoring mapping correctly.

When swiching back from efi mapping, correctly switch back
depending on the current vcpu type.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/vmx_phy_mode.c
xen/arch/ia64/vmx/vmx_vcpu.c
xen/arch/ia64/xen/regionreg.c
xen/include/asm-ia64/linux-xen/linux/efi.h
xen/include/asm-ia64/regionreg.h
xen/include/asm-ia64/vmx_vcpu.h